例句與造句

1. Second , based on former logic theories , a improved formal model , mascl , is proposed in this chapter . mascl is a many - sorted first - order branching - time bdi logic , which can capture the requirements for representation mental states , acts , plans and social laws of multi - agent systems
   在已有的形式模型基礎(chǔ)上，提出了多智能體系統(tǒng)的形式模型mascl ，該模型是一種多類的一階分支時(shí)序模態(tài)邏輯bdi理論，綜合了單智能體和多智能體的精神狀態(tài)和動(dòng)作規(guī)劃表示，并體現(xiàn)了社會(huì)規(guī)范的約束作用。
2. It's difficult to find ordered branch in a sentence. 用ordered branch造句挺難的